1. Logic and language models for computer science /
پدیدآورنده : Henry Hamburger, Dana Richards
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Description logics,Formal languages
رده :
QA267
.
3
.
H35
2002